EFFICIENT FORMALISATION OF TECHNICAL REQUIREMENTS FOR GENERATIVE ENGINEERING
نویسندگان
چکیده
Abstract Currently, engineers need to manually analyse requirement specifications for determining parameters create geometries in generative engineering. This analysis is time-consuming, error-prone and causes high costs. Generative engineering tools (e.g. Synera) cannot interpret natural language requirements directly. The be formalised a machine-readable format. AI algorithms have the potential automatically transform into such formal, representation. In this work, method formalising developed implemented as prototype Python. validated case example using three products of an automotive service provider. Requirements are identified these products, which used test set evaluate performance method. results show that with (F1 86.55 %). By applying method, efforts therefore costs analysing regarding reduced.
منابع مشابه
Multiview: Requirements Modeling and Formalisation*
Abslract The sucen of the requiremenls engineerins proc ... often dependa on lhe abilily to proceed from informal. fuzzy individual ltalemenl of requiremenl lO a formal apecificalion lh&l ii undentood Nld Agreed by &IJ stakeholders. Mu/tiuiOW enuironmentsupporll lhe procen of requiremenlJ modeling and fonnalist~lion. The purpose of this paper is to provido a seneral overview of lhe implemenlali...
متن کاملHolistic Security Requirements Engineering for Socio-Technical Systems
Security has been a growing concern for large organizations, especially financial and governmental institutions, as security breaches in the systems they depend have repeatedly resulted in losses of billions per year, and this cost is on the rise. A primary reason for these breaches is the “socio-technical” nature of today’s systems that consist of an amalgam of social and human actors, process...
متن کاملSTS-Tool: Security Requirements Engineering for Socio-Technical Systems
We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actorand goal-oriented security requirements modelling language for socio-technical systems. We show how the STS-Tool supports requirements analysts and security designers in (i) modelling socio-technical systems as a set of interacting actors, who have security needs over their interactions, and (...
متن کاملImproving Software using Requirements Formalisation
This presentation gives a brief overview of a recently started, Public Good Science Fund (PGSF) funded research project, which is running under the auspices of the government’s Foundation for Research, Science and Technology (FoRST or FRST). This project comes within the broad subject area of ‘Formal Methods’ and specifically concerns the use of formalisation during the requirements and specifi...
متن کاملIdentifying the technical requirements for designing health portals
Aim: Considering technical requirements in the design of health portals increases the validity of information. This study identified the technical and content structure required to create these portals. Methods: This was a qualitative study which was conducted in 2020. A combination of comprehensive review and interview was used. The search was performed in Elsevier, EBSCO, Scopus, Web of Scie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Design Society
سال: 2023
ISSN: ['2732-527X']
DOI: https://doi.org/10.1017/pds.2023.160